Formal Methods in Molecular Biology Dagstuhl Seminar
نویسندگان
چکیده
From 23. February to 27. February 2009, the Dagstuhl Seminar 09091 Formal Methods in Molecular Biology was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)
AI meets Formal Software Development (Dagstuhl Seminar 12271) Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore . . . . . . . . . . . . . . . . 1 Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Peter Feiler, Jérôme Hugues, and Oleg Sokolsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 Security and Dependability for Federat...
متن کاملInformation Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201)
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) Sebastian Maneth and Helmut Seidl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Information Visualization – Towards Multivariate Network Visualization (Dagstuhl Seminar 13201) Andreas Kerren, Helen C. Purchase, and Matthew O. Ward . . . . . . . . . . . . . . . . . . . . . . 19 Automated ...
متن کاملComputer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
This report documents the program and the outcomes of Dagstuhl Seminar 17071 “ComputerAssisted Engineering for Robotics and Autonomous Systems”. This seminar brought together researchers from three distinct communities – Robotics, Model-driven Software Engineering, and Formal Methods – to discuss the path towards creating safe and verifiable autonomous systems. Seminar February 12–17, 2017 – ht...
متن کاملFormal Methods in Molecular Biology
This report documents the program and the outcomes of the Seminar 11151 ‘Formal Methods in Molecular Biology’ that took place in Dagstuhl, Germany, on 10.–15. April, 2011. The most recent advances in Systems Biology were discussed, as well as and the contribution of computational formalisms to the modeling of biological systems, with the focus on stochasticity. About 30 talks were given. The pa...
متن کاملMulticore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)
This report documents the program and the outcomes of Dagstuhl Seminar 13021 “Symbolic Methods in Testing”. The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, The Netherlands, The Unites States, Germany, Switzerland, United Kingdom, Brazil, Norway, Estonia and Italy. Through a series of presentati...
متن کامل